2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор:
Dennis Dams
, Автор:
Ulrich Hannemann
, Автор:
Martin Steffen
Категория:
Компьютеры
Размер книги: 5.37 Mb
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Размер книги: 9.52 Mb
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))
Автор:
Willem-Paul de Roever
, Автор:
Kai Engelhardt
Размер книги: 16.81 Mb
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Размер книги: 7.96 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Категория:
Компьютеры
Размер книги: 3.81 Mb
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор:
Dennis Dams
, Автор:
Ulrich Hannemann
, Автор:
Martin Steffen
Размер книги: 5.49 Mb
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.85 Mb
Compositionality: The Significant Difference, COMPOS'97
Автор:
Willem-Paul de Roever
, Автор:
Hans Langmaack
, Автор:
Amir Pnueli
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.82 Mb
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Категория:
CsLn_
Размер книги: 3.18 Mb
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Автор:
Hans Langmaack
, Автор:
Willem-Paul de Roever
, Автор:
Jan Vytopil
Размер книги: 6.86 Mb
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Автор:
Jaco W. de Bakker
, Автор:
Willem-Paul de Roever
, Автор:
Grzegorz Rozenberg
Размер книги: 7.52 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор:
Frank S.de Boer
, Автор:
Marcello Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Размер книги: 4.59 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Автор:
Frank S. de Boer
, Автор:
Marcello M. Bonsangue
, Автор:
Susanne Graf
, Автор:
Willem-Paul de Roever
Размер книги: 3.47 Mb